Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
331	Semantic Web Technologies to Reconcile Privacy and Context Awareness Norman M. Sadeh, Associate Professor, ISRI - School of Computer Science, CMU Abstract: Increasingly, application developers are looking for ways to pro Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2004-05-05 09:40:12 Web services Emerging technologies Knowledge engineering Semantic Web Context awareness Semantics Computing Information science Logic
332	Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in: Add to Reading List Source URL: orbit.dtu.dk Language: English - Date: 2016-01-29 23:14:59 Logic Mathematical logic Abstraction Automated theorem proving Reasoning Syntax Theoretical computer science Artificial intelligence Automated reasoning Proof assistant Isabelle First-order logic
333	Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS Motivation Hoare-style assertions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-28 10:05:14 Logic Logic in computer science Theoretical computer science Mathematical logic Separation logic Assertion Rule of inference
334	Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Abilio Oliveira, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Software engineering Computer programming Software Logic in computer science Assertion Debugging Go Software bug Class invariant
335	Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-01 12:33:24 Logic Philosophy Semantics Computational linguistics Bayesian statistics Markov networks Logical consequence Probabilistic logic Probabilistic soft logic Distributional semantics Markov logic network Inference
336	Cognitive Psychology Cognitive Psychology–374 www.academicpress.com Language input and child syntaxq Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2008-02-26 14:20:06 Linguistics Cognitive science Cognition Syntax Grammar Generative linguistics Philosophy of logic Dependency grammar Language development Language acquisition Syntactic Structures Grammaticality
337	The Problem of Induction: Hume, Russell Philosophical Analysis – Giuliano Torrengo September 29, 2014 Existence • Any idea or impression is conceived as existent • Dilemma: where does the idea of existence come fro Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Epistemology Logic Reasoning Philosophy of science David Hume Inductive reasoning Problem of induction Causality Reason Inference Constant conjunction
338	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
339	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
340	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean

UPDATE